Provability, Computability and Reflection.

In this article, we present results from a literature review of intrinsic, instrumental, and relational values of nature conducted for the Intergovernmental Science-Policy Platform on Biodiversity and Ecosystem Services, as part of the Methodological Assessment of the Diverse Values and Valuations of Nature. We identify the most frequently recurring meanings in the heterogeneous use of different value types and their association with worldviews and other key concepts. From frequent uses, we determine a core meaning for each value type, which is (...) sufficiently inclusive to serve as an umbrella over different understandings in the literature and specific enough to help highlight its difference from the other types of values. Finally, we discuss convergences, overlapping areas, and fuzzy boundaries between different value types to facilitate dialogue, reduce misunderstandings, and improve the methods for valuation of nature's contributions to people, including ecosystem services, to inform policy and direct future research. © 2023 The Author(s). Published by Oxford University Press on behalf of the American Institute of Biological Sciences. (shrink)

Open theists argue that God's relationship to time, as conceived in classical theism, is erroneous. They explain that it is contradictory for an atemporal being to act in a temporal universe, including experiencing its temporal successions. Contrary to the atemporalists, redemptive history has shown that God interacts with humans in time. This relational nature of God nullifies the classical notion of God as timelessly eternal. Therefore, it lacks a philosophical and theological basis. Because God is in time, He does not (...) know all future contingencies and, therefore, changes. This study examines open theism's appropriation of the A and B theories of time to the divine-human relationship. The study argues that divine temporality does not solve the tension of divine-human relationships, especially in relation to the future. Further, historical divine temporality does not negate the fact of divine atemporality. It mainly stems from God's choice to create temporal creatures and His relationship with them. Furthermore, if it is not logically and metaphysically contradictory for an omnipresent being to act in space, then it follows that an atemporal being can act in time. Whether time is understood from the metric or psychological point of view, it does not transcend God, and therefore, the limitation it places on human creatures with respect to the future does not apply to God. Lastly, although a few philosophers reject the notion of eternity as timelessly eternal, the doctrine has a philosophical and theological basis in the Scripture. (shrink)

t. 1. Obshchai︠a︡ teorii︠a︡ prava. Ugolovnoe pravo -- t. 2. Kriminologii︠a︡, sot︠s︡iologii︠a︡, konfliktologii︠a︡ -- t. 3. Politologii︠a︡, ideologii︠a︡, ėtika.

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much (...) more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included. (shrink)

Research in face recognition has tended to focus on discriminating between individuals, or “telling people apart.” It has recently become clear that it is also necessary to understand how images of the same person can vary, or “telling people together.” Learning a new face, and tracking its representation as it changes from unfamiliar to familiar, involves an abstraction of the variability in different images of that person's face. Here, we present an application of principal components analysis computed across different photos (...) of the same person. We demonstrate that people vary in systematic ways, and that this variability is idiosyncratic—the dimensions of variability in one face do not generalize well to another. Learning a new face therefore entails learning how that face varies. We present evidence for this proposal and suggest that it provides an explanation for various effects in face recognition. We conclude by making a number of testable predictions derived from this framework. (shrink)

OBJECTIVES: Life-sustaining treatment at the end of life gives rise to many ethical problems in Japan. Recent surveys of Japanese physicians suggested that they tend to treat terminally ill patients aggressively. We studied why Japanese physicians were reluctant to withhold or withdraw life-support from terminally ill patients and what affected their decisions. DESIGN AND PARTICIPANTS: A qualitative study design was employed, using a focus group interview with seven physicians, to gain an in-depth understanding of attitudes and rationales in Japan regarding (...) medical care at the end of life. RESULTS: Analysis revealed that physicians and patients' family members usually make decisions about life-sustaining treatment, while the patients' wishes are unavailable or not taken into account. Both physicians and family members tend to consider withholding or withdrawing life-sustaining treatment as abandonment or even killing. The strongest reason to start cardiopulmonary resuscitation- and to continue it until patients' family members arrive-seems to be the family members' desire to be at the bedside at the time of death. All physicians participating in our study regarded advance directives that provide information as to patients' wishes about life-sustaining treatment desirable. All expressed concern, however, that it would be difficult to forego or discontinue life-support based on a patient's advance directive, particularly when the patient's family opposed the directive. CONCLUSION: Our group interview suggested several possible barriers to death with dignity and the appropriate use of advance directives in Japan. Further qualitative and quantitative research in this regard is needed. (shrink)